On Computing Algebraic Functions Using Logarithms and Exponentials
نویسندگان
چکیده
Let be a set of algebraic expressions constructed with radicals and arithmetic operations, and which generate the splitting eld F of some polynomial. Let N () be the minimum total number of root-takings and exponentiations used in any straightline program for computing the functions in by taking roots, exponentials, logarithms, and performing arithmetic operations. In this paper it is proved that N () = (G), where (G) is the minimum length of any cyclic Jordan-HH older tower for the Galois group G of F. This generalizes a result of Ja'Ja' 1], and shows that the inclusion of certain new primitives, such as taking exponentials and logarithms, does not improve the cost of computing such expressions as compared with programs which use only root-takings.
منابع مشابه
Extensions by Antiderivatives, Exponentials of Integrals and by Iterated Logarithms
Let F be a characteristic zero differential field with an algebraically closed field of constants C, E ⊃ F be a no new constant extension by antiderivatives of F and let y1, · · · yn be antiderivatives of E. The antiderivatives y1, · · · , yn of E are called J-I-E antiderivatives if y′i ∈ E satisfies certain conditions. We will discuss a new proof for the KolchinOstrowski theorem and generalize...
متن کاملQuadratic relations between logarithms of algebraic numbers
A well known conjecture asserts that Q-linearly independent logarithms of algebraic numbers should be algebraically independent. So far it has only been proved that they are linearly independent over the field of algebraic numbers (Baker, 1966). It is not yet known that there exist two logarithms of algebraic numbers which are algebraically independent. The next step might be to consider quadra...
متن کاملInterpolation Formulas and Auxiliary Functions
We prove an interpolation formula for ``semi-cartesian products'' and use it to study several constructions of auxiliary functions. We get in this way a criterion for the values of the exponential map of an elliptic curve E defined over Q. It reduces the analogue of Schanuel's conjecture for the elliptic logarithms of E to a statement of the form of a criterion of algebraic independence. We als...
متن کاملTranscendence Measures for Exponentials and Logarithms
In the present paper, we derive transcendence measures for the numbers log a, e, aP, (log aj)/(log 02) from a previous lower bound of ours on linear forms in the logarithms of algebraic numbers. Subject classification (Amer. Math Soc. (MOS) 1970): 10 F 05, 10 F 35
متن کاملOn-Line Algorithms for Computing Exponentials and Logarithms
We propose a new on-line algorithm for fast evaluation of logarithms and exponentials. This algorithm is derived from the widely studied Briggs-De Lugish iteration. We examine various compromises between the on-line delay and the size of the required comparison constants.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- SIAM J. Comput.
دوره 24 شماره
صفحات -
تاریخ انتشار 1995